A field <I>E</I> is an infinite extension of <i>F</i> provided that  [<i>E:F</i>] is infinite.